FIncr $\in$ Type